Dependability modeling of safety systems

Modeling Dependability of Dynamic Computing Systems

A trend actually characterizing any technological and application field is the use of control and computing devices. This moves the attention of the insiders on the management of more complex processes and systems, modifying requirements, tasks and skills. In this scenario the dependability evaluation becomes strategic. The increasing complexity of systems requires a serious revision of the tec...

Model Transformation for a System of Systems Dependability Safety Case

Software plays an increasingly larger role in all aspects of NASA’s science missions. This has been extended to the identification, management and control of faults which affect safety-critical functions and by default, the overall success of the mission. Traditionally, the analysis of fault identification, management and control are hardware based. Due to the increasing complexity of system, t...

Safety, Dependability and Performance Analysis of Aerospace Systems

The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labour-intensive as they rely on manual analysis, review and inspection. In this paper we give an overview of an integrated system-software co-engineering approach focusing on a coherent set o...

Assesing dependability of safety critical systems using diverse evidence

A primary objective of the DATUM (Dependability Assessment of safety critical systems Through the Unification of Measurable evidence) project was to improve the way dependability of software intensive safety-critical systems was assessed. Our hypothesis was that improvements were possible if we could incorporate multiple types of evidence. To achieve our objective we had to investigate how to g...

Software Quality, Dependability and Safety in Embedded Systems